Combinatorial species - PDFSEARCH.IO - Document Search Engine

Combinatorial species
Results: 32

#	Item
21	The Steiner Multigraph Problem: Wildlife corridor design for multiple species Add to Reading List Source URL: www.fs.fed.us Language: English - Date: 2011-07-25 16:42:26 Operations research NP-complete problems Spanning tree Steiner tree problem Minimum spanning tree Shortest path problem Combinatorial optimization Dynamic programming Travelling salesman problem Graph theory Theoretical computer science Mathematics
22	Squinting at Power Series M. Douglas McIlroy AT&T Bell Laboratories Murray Hill, New Jersey[removed]ABSTRACT Data streams are an ideal vehicle for handling power series. Stream Add to Reading List Source URL: swtch.com Language: English - Date: 2005-09-27 12:15:39 Enumerative combinatorics Computability theory Recursion Functions and mappings Combinatorial species Power series Integral Formal power series Mathematical analysis Mathematics Mathematical series
23	J. Symbolic Computation[removed], 71-84 Constructing Type Systems over an Operational Semantics ROBERT HARPER Add to Reading List Source URL: www.cs.uoregon.edu Language: English - Date: 2010-06-25 18:00:46 Model theory Interpretation Structure Monad Equivalence relation FO Type system Combinatorial species Type theory Mathematics Mathematical logic Logic
24	Labelled structures and combinatorial species Brent A. Yorgey Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-01-10 16:35:05 Algebraic topology Algebraic geometry Category theory Combinatorial species Sheaf Model theory Finite set Intuitionistic type theory Finite morphism Mathematics Abstract algebra Algebraic combinatorics
25	Species and Functors and Types, Oh My! Brent A. Yorgey University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-10-15 13:04:31 Higher-order functions Adjoint functors Functional programming Combinatorial species Map Functor Sheaf Enumerative combinatorics Equivalence of categories Abstract algebra Mathematics Declarative programming
26	THE CARTESIAN CLOSED BICATEGORY OF GENERALISED SPECIES OF STRUCTURES M. FIORE, N. GAMBINO, M. HYLAND, AND G. WINSKEL Add to Reading List Source URL: www.cs.le.ac.uk Language: English - Date: 2007-10-29 10:09:01 Adjoint functors Monoidal categories Higher category theory Monoidal functor Combinatorial species Monad Functor 2-category Cartesian closed category Category theory Abstract algebra Mathematics
27	Scoped Types for Real-time Java Tian Zhao Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2011-08-21 17:36:34 Java programming language Cross-platform software Subroutines Scope Closure Model theory Structure Combinatorial species Parity of a permutation Software engineering Computing Mathematics
28	Isomorphism is equality Thierry Coquand∗, Nils Anders Danielsson∗ University of Gothenburg and Chalmers University of Technology Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-10-18 07:55:34 Monoid Semigroup theory Interpretation Equality Type theory Combinatorial species Function Isomorphism Sheaf Mathematics Abstract algebra Category theory
29	Theory and Applications of Categories, Vol. 24, No. 3, 2010, pp. 39–83. JOYAL’S ARITHMETIC UNIVERSE AS LIST-ARITHMETIC Add to Reading List Source URL: www.math.unipd.it Language: English - Date: 2010-02-22 14:55:33 Mathematical structures Model theory Metalogic Function Cartesian closed category Equivalence relation Combinatorial species Interpretation Mathematical logic Mathematics Abstract algebra Algebraic structures
30	Theory and Applications of Categories, Vol. 24, No. 3, 2010, pp. 39–83. JOYAL’S ARITHMETIC UNIVERSE AS LIST-ARITHMETIC Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2010-02-20 12:22:21 Mathematical structures Model theory Metalogic Function Cartesian closed category Equivalence relation Combinatorial species Interpretation Mathematical logic Mathematics Abstract algebra Algebraic structures

UPDATE